❮

add a missing space

  • Jump to comment-1
    zhjwpku@gmail.com2022-07-21T08:38:21+00:00
    This is a minor fix that adds a missing space in file lockdefs.h -- Regards Junwang Zhao
    • Jump to comment-1
      amit.kapila16@gmail.com2022-07-21T10:13:09+00:00
      On Thu, Jul 21, 2022 at 2:08 PM Junwang Zhao <zhjwpku@gmail.com> wrote: > > This is a minor fix that adds a missing space in file lockdefs.h > LGTM. I'll push this in some time. -- With Regards, Amit Kapila.
      • Jump to comment-1
        zhjwpku@gmail.com2022-07-21T10:24:29+00:00
        Great, thanks! On Thu, Jul 21, 2022 at 6:13 PM Amit Kapila <amit.kapila16@gmail.com> wrote: > > On Thu, Jul 21, 2022 at 2:08 PM Junwang Zhao <zhjwpku@gmail.com> wrote: > > > > This is a minor fix that adds a missing space in file lockdefs.h > > > > LGTM. I'll push this in some time. > > -- > With Regards, > Amit Kapila. -- Regards Junwang Zhao